TSTP Solution File: ALG016^7 by S-SETHEO---0.0